In this note we shall argue that Milne’s new effort does not refute Truthmaker Maximalism. According to Truthmaker Maximalism, every truth has a truthmaker. Milne has attempted to refute it using the following self-referential sentence M: This sentence has no truthmaker. Essential to his refutation is that M is like the Gödel sentence and unlike the Liar, and one way in which Milne supports this assimilation is through the claim that his proof is essentially object-level and not semantic. In Section (...) 2, we shall argue that Milne is still begging the question against Truthmaker Maximalism. In Section 3, we shall argue that even assimilating M to the Liar does not force the truthmaker maximalist to maintain the ‘dull option’ that M does not express a proposition. There are other options open and, though they imply revising the logic in Milne’s reasoning, this is not one of the possible revisions he considers. In Section 4, we shall suggest that Milne’s proof requires an implicit appeal to semantic principles and notions. In Section 5, we shall point out that there are two important dissimilarities between M and the Gödel sentence. Section 6 is a brief summary and conclusion. (shrink)

Si les écrans sont multiples, les images sont toujours à construire dans une expérience perceptive qui participe aux cheminements du sens et des imaginaires. En virtualisant ses émotions esthétiques par le recours permanent à Internet et aux réseaux sociaux, le spectateur s'engage dans des approches complexes, à la fois conceptuelles et émotionnelles. Une coexistence qui lui permet de vivre des expériences esthétiques au fort potentiel critique. Face à la présence de plus en plus grande du virtuel dans les vies quotidiennes, (...) et aux débordements de l'image hors de la surface écran à travers les technologies de réalité augmentée, l'enjeu est aujourd'hui de repenser la place du corps. (shrink)

Recently, it has been proposed to understand a logic as containing not only a validity canon for inferences but also a validity canon for metainferences of any finite level. Then, it has been shown that it is possible to construct infinite hierarchies of "increasingly classical" logics—that is, logics that are classical at the level of inferences and of increasingly higher metainferences—all of which admit a transparent truth predicate. In this paper, we extend this line of investigation by taking a somehow (...) different route. We explore logics that are different from classical logic at the level of inferences, but recover some important aspects of classical logic at every metainferential level. We dub such systems meta-classical non-classical logics. We argue that the systems presented deserve to be regarded as logics in their own right and, moreover, are potentially useful for the non-classical logician. (shrink)

General-elimination harmony articulates Gentzen’s idea that the elimination-rules are justified if they infer from an assertion no more than can already be inferred from the grounds for making it. Dummett described the rules as not only harmonious but stable if the E-rules allow one to infer no more and no less than the I-rules justify. Pfenning and Davies call the rules locally complete if the E-rules are strong enough to allow one to infer the original judgement. A method is given (...) of generating harmonious general-elimination rules from a collection of I-rules. We show that the general-elimination rules satisfy Pfenning and Davies’ test for local completeness, but question whether that is enough to show that they are stable. Alternative conditions for stability are considered, including equivalence between the introduction- and elimination-meanings of a connective, and recovery of the grounds for assertion, finally generalizing the notion of local completeness to capture Dummett’s notion of stability satisfactorily. We show that the general-elimination rules meet the last of these conditions, and so are indeed not only harmonious but also stable. (shrink)

In this article, we will present a number of technical results concerning Classical Logic, ST and related systems. Our main contribution consists in offering a novel identity criterion for logics in general and, therefore, for Classical Logic. In particular, we will firstly generalize the ST phenomenon, thereby obtaining a recursively defined hierarchy of strict-tolerant systems. Secondly, we will prove that the logics in this hierarchy are progressively more classical, although not entirely classical. We will claim that a logic is to (...) be identified with an infinite sequence of consequence relations holding between increasingly complex relata: formulae, inferences, metainferences, and so on. As a result, the present proposal allows not only to differentiate Classical Logic from ST, but also from other systems sharing with it their valid metainferences. Finally, we show how these results have interesting consequences for some topics in the philosophical logic literature, among them for the debate around Logical Pluralism. The reason being that the discussion concerning this topic is usually carried out employing a rivalry criterion for logics that will need to be modified in light of the present investigation, according to which two logics can be non-identical even if they share the same valid inferences. (shrink)

In a series of papers, 137–158; 1994, Midwest Studies in Philosophy, 23, 61–74, 1999) Fine develops his hylomorphic theory of embodiments. In this article, we supply a formal semantics for this theory that is adequate to the principles laid down for it in. In Section 1, we lay out the theory of embodiments as Fine presents it. In Section 2, we argue on Cantorian grounds that the theory needs to be stabilized, and sketch some ways forward, discussing various choice points (...) in modeling the view. In Section 3, we develop a formal semantics for the theory of embodiments by constructing embodiments in stages and restricting the domain of the second-order quantifiers. In Section 4 we give a few illustrative examples to show how the models deliver Finean hylomorphic consequences. In Section 5, we prove that Fine’s principles are sound with respect to this semantics. In Section 6 we present some inexpressibility results concerning Fine’s various notions of parthood and show that in our formal semantics these notions are all expressible using a single mereological primitive. In Section 7, we prove several mereological results stemming from the model theory, showing that the mereology is surprisingly robust. In Section 8, we draw some philosophical lessons from the formal semantics, and in particular respond to Koslicki’s main objection to Fine’s theory. In the appendix we present proofs of the inexpressibility results of Section 6. (shrink)

Serious actualism is the prima facie plausible thesis that things couldn’t have been related while being nothing. The thesis plays an important role in a number of arguments in metaphysics, e.g., in Plantinga’s argument for the claim that propositions do not ontologically depend on the things that they are about and in Williamson’s argument for the claim that he, Williamson, is necessarily something. Salmon has put forward that which is, arguably, the most pressing challenge to serious actualists. Salmon’s objection is (...) based on a scenario intended to elicit the judgment that merely possible entities may nonetheless be actually referred to, and so may actually have properties. It is shown that predicativism, the thesis that names are true of their bearers, provides the resources for replying to Salmon’s objection. In addition, an argument for serious actualism based on Stephanou, 219–250 2007) is offered. Finally, it is shown that once serious actualism is conjoined with some minimal assumptions, it implies property necessitism, the thesis that necessarily all properties are necessarily something, as well as a strong comprehension principle for higher-order modal logic according to which for every condition there necessarily is the property of being a thing satisfying that condition. (shrink)

RESUMEN El Servicio de Extensión Bibliotecaria es el medio adecuado que tiene la biblioteca para expandirse hacia la comunidad, de esa forma permite que aquellos usuarios que no la visitan hagan uso de sus servicios y documentos. Sin embargo, pocos conocen su historia y evolución a través del tiempo. Se muestra una revisión bibliográfica y el estado actual de este servicio. Los elementos incluidos en esta recolección abarcan publicaciones periódicas, sitios web, revistas electrónicas, publicados entre el siglo XVIII y el (...) presente. El documento pretende brindar una aproximación histórica al servicio de extensión bibliotecaria en las bibliotecas. ABSTRACT The Library Extension Service is the appropriate method a library has to expand into the community in a way that users who don’t visit it use its services and documents. However, just a few people know its history and development through time. A bibliographic review is shown along with the current state of this service. The elements included in it cover regular publications, web sites and electronic journals published from the XVIII century to the present time. The paper expects to provide a historical approach to the library extension service in libraries. (shrink)

Ces rencontres témoignent de l'histoire des réflexions sur le cinéma dans l'optique de la philosophie depuis la démarche de G. Deleuze. Ce recueil présente une réflexion historique et théorique du rapprochement du cinéma avec la philosophie ou l'esthétique, et procède à des analyses philosophiques ou esthétiques sur tel ou tel aspect du cinéma.

Adding a transparent truth predicate to a language completely governed by classical logic is not possible. The trouble, as is well-known, comes from paradoxes such as the Liar and Curry. Recently, Cobreros, Egré, Ripley and van Rooij have put forward an approach based on a non-transitive notion of consequence which is suitable to deal with semantic paradoxes while having a transparent truth predicate together with classical logic. Nevertheless, there are some interesting issues concerning the set of metainferences validated by this (...) logic. In this paper, we show that this logic, once it is adequately understood, is weaker than classical logic. Moreover, the logic is in a way similar to the paraconsistent logic LP. (shrink)

Habla sobre la mirada, abunda sobre la atención que se presta a lo que nos rodea y sobre la resistencia que lo mirado nos opone.

El alma bella representa en la obra de Hegel un momento en el que la acción y la moralidad pueden entrar en un conflicto con la realidad y con el otro, provocando en el sujeto moral la inactividad y la evasión de su _selbst_ en su pura abstracción, enajenándose de toda actividad y toda crítica. Se pretende mostrar, pues, el desarrollo de esta figura hegeliana para poder asumir que toda actividad dirigida al mundo deja de pertenecer al sujeto que la (...) ejecuta y se vuelve algo para el mundo e interpretado por éste. (shrink)

Resumen:En el paso del paleolítico al neolítico tiene lugar la gran producción de los símbolos sagrados vinculados a los calendarios solares y lunisolares. Este tránsito lleva consigo un tránsito de la hegemonía de la sensación a la hegemonía de la imaginación en el conocimiento humano. Los símbolos religiosos se refieren cada vez menos a los poderes cósmicos visibles en el cielo y cada vez más a poderes sagrados representados imaginativa y conceptualmente. Así empieza a desarrollarse un culto interior, que da (...) lugar a diversos tipos de símbolos religiosos.Palabras clave: neolítico, símbolo religioso, historicidad del símbolo religioso, estructura del símbolo religioso.Abstract: In the transition from the Paleolithic to the Neolithic the great production of sacred symbols linked to solar and lunisolar calendars takes place. This transition involves a transition from the hegemony of sense to hegemony of imagination in human knowledge. Religious symbols refers less and less visible cosmic powers in the sky and increasingly sacred powers represented imaginatively and conceptually. So it begins to develop an interior worship, which leads to various kinds of religious symbols.Key words: Neolithic, religious symbol, historicity of religious symbol, religious symbol structure. (shrink)

Necessitism, Contingentism, and Theory Equivalence is a dissertation on issues in higher-order modal metaphysics. Consider a modal higher-order language with identity in which the universal quantifier is interpreted as expressing universal quantification and the necessity operator is interpreted as expressing metaphysical necessity. The main question addressed in the dissertation concerns the correct theory formulated in this language. A different question that also takes centre stage in the dissertation is what it takes for theories to be equivalent.The whole dissertation consists of (...) an extended argument in defence of the truth of two seemingly inconsistent higher-order modal theories, specifically: 1.Plantingan Moderate Contingentism, a theory based on Plantinga’s [1] modal metaphysics that is committed to, among other things, the contingent being of some individuals and the necessary being of all possible higher-order entities;2.Williamsonian Thorough Necessitism, a theory advocated by Williamson [3] which is committed to, among other things, the necessary being of every possible individual as well as of every possible higher-order entity.Part of the case for these theories’ joint truth relies on defences of the following metaphysical theses: Thorough Serious Actualism, the thesis that no things could have been related while being nothing, and Higher-Order Necessitism, the thesis that necessarily, every higher-order entity is necessarily something. It is shown that Thorough Serious Actualism and Higher-Order Necessitism are both implicit commitments of very weak logical theories. The defence of Higher-Order Necessitism constitutes a powerful challenge to Stalnaker’s [2] Thorough Contingentism, a theory committed to, among other things, the view that there could have been some individuals as well as some entities of any higher-order that could have been nothing.In the dissertation it is argued that Plantingan Moderate Contingentism and Williamsonian Thorough Necessitism are in fact equivalent, even if they appear to be jointly inconsistent. The case for this claim relies on the Synonymy account, a novel account of theory equivalence developed and defended in the dissertation. According to this account, theories are equivalent just in case they have the same commitments and conception of logical space.By way of defending the Synonymy account’s adequacy, the account is applied to the debate between noneists, proponents of the view that some things do not exist, and Quineans, proponents of the view that to exist just is to be some thing. The Synonymy account is shown to afford a more nuanced and better understanding of that debate by revealing that what noneists and Quineans are really disagreeing about is what expressive resources are available to appropriately describe the world.By coupling a metatheoretical result with tools from the philosophy of language, it is argued that Plantingan Moderate Contingentism and Williamsonian Thorough Necessitism are synonymous theories, and so, by the lights of the Synonymy account, equivalent. Given the defence of their extant commitments made in the dissertation, it is concluded that Plantingan Moderate Contingentism and Williamsonian Thorough Necessitism are both correct. A corollary of this result is that the dispute between Plantingans and Williamsonians is, in an important sense, merely verbal. For if two theories are equivalent, then they “require the same of the world for their truth.”Thus, the results of the dissertation reveal that if one speaks as a Plantingan while advocating Plantingan Moderate Contingentism, or as a Williamsonian while advocating Williamsonian Thorough Necessitism, then one will not go wrong. Notwithstanding, one will still go wrong if one speaks as a Plantingan while advocating Williamsonian Thorough Necessitism, or as a Williamsonian while advocating Plantingan Moderate Contingentism.On the basis of a conception of the individual constants and predicates of second-order modal languages as strongly Millian, i.e., as having actually existing entities as their semantic values, in the appendix are presented second-order modal logics consistent with Stalnaker’s Thorough Contingentism. Furthermore, it is shown there that these logics are strong enough for applications of higher-order modal logic in mathematics, a result that constitutes a reply to an argument to the contrary by Williamson [3]. Finally, these logics are proven to be complete relative to particular “thoroughly contingentist” classes of models. (shrink)

In some recent articles, Cobreros, Egré, Ripley, & van Rooij have defended the idea that abandoning transitivity may lead to a solution to the trouble caused by semantic paradoxes. For that purpose, they develop the Strict-Tolerant approach, which leads them to entertain a nontransitive theory of truth, where the structural rule of Cut is not generally valid. However, that Cut fails in general in the target theory of truth does not mean that there are not certain safe instances of Cut (...) involving semantic notions. In this article we intend to meet the challenge of answering how to regain all the safe instances of Cut, in the language of the theory, making essential use of a unary recovery operator. To fulfill this goal, we will work within the so-called Goodship Project, which suggests that in order to have nontrivial naïve theories it is sufficient to formulate the corresponding self-referential sentences with suitable biconditionals. Nevertheless, a secondary aim of this article is to propose a novel way to carry this project out, showing that the biconditionals in question can be totally classical. In the context of this article, these biconditionals will be essentially used in expressing the self-referential sentences and, thus, as a collateral result of our work we will prove that none of the recoveries expected of the target theory can be nontrivially achieved if self-reference is expressed through identities. (shrink)

In this paper we discuss the extent to which the very existence of substructural logics puts the Tarskian conception of logical systems in jeopardy. In order to do this, we highlight the importance of the presence of different levels of entailment in a given logic, looking not only at inferences between collections of formulae but also at inferences between collections of inferences—and more. We discuss appropriate refinements or modifications of the usual Tarskian identity criterion for logical systems, and propose an (...) alternative of our own. After that, we consider a number of objections to our account and evaluate a substantially different approach to the same problem. (shrink)

El presente artículo pretende mostrar que ha significado ser un intelectual, poniendo el acento en su función originaria en contraste con lo que se considera la traición de los mismos. El artículo comienza recordando el Affaire Dreyfus y, con Benda y Chomsky, se buscará matizar la tarea del intelectual así como su responsabilidad. Las discusiones aquí ofrecidas nos llevarán a observar las dinámicas ideológicas del siglo XX y se prestará atención al estilo de vida del intelectual, atendiendo a las críticas (...) que recogió Barthes sobre Poujade así como los dardos envenenados que lanzó Schopenhauer a los filósofos de su tiempo. Dardos que, atendiendo a la posverdad, se revelan con bastante actualidad. (shrink)

Διαθέτουμε δύο αντίγραφα (το ένα του Μελετίου, το άλλο του Lyons) μιας επιγραφής από την Ήπειρο που είναι αναθηματική σε κάποιο ποταμό Ωρωπό. Η επιγραφή, χαμένη σή- μέρα, βρισκόταν στο ρωμαϊκό υδραγωγείο της Νικόπολης, στο ύψος του Αγίου Γεωργίου. Η πιο ενδιαφέρουσα διαφορά μεταξύ των δύο διατηρουμένων αντιγράφων εντοπίζεται στην ανάγνωση του υδρωνυμίου (Μελέτιος : ΩΡΟΡΟΝ, Lyons : ΩΡΩΠΩ). Συζητούνται οι διαφορές και προτείνεται μια νέα υπόθεση : τ]φ 'Ρωγών ποταμω.

Cet article s’interroge sur la manifestation artistique d’un motif concret y suscitant une inquiétude radicale: les faces sans visage. En étudiant les conditions plastiques et ontologiques constituantes de certaines oeuvres, en particulier de Malévitch et Brancusi, où l’on s’interroge sur les limiter de l’idée occidentale de subjectivité, on prendra en compte les influences d’auteurs comme Pic de la Mirandolle, Sartre, Merleau-Ponty ou, entre autres, Paul Ricoeur.

En suivant la notion fondamentale d’« instauration » dans ses diverses ramifications (artistique, ontologique, esthétique), cela jusqu’aux derniers textes de Souriau, on comprend que celle-ci est encore très pertinente pour les recherches actuelles, et qu’elle peut trouver à se prolonger, notamment dans une poétique et une théorie de l’action.

L'" inconscient de l'œuvre ", le " signe pictural ", la " chair de l'œuvre" : autant de formules qui font désormais partie du vocabulaire esthétique.C'est que la psychanalyse, la sémiotique et la phénoménologie, nées presque simultanément, auront profondément marqué le XXe siècle et radicalement transformé les approches de l'esthétique, de la critique et de l'histoire de l'art, au point qu'il est aujourd'hui difficile de mener un propos théorique dans le domaine des arts sans s'y référer. Nul doute que ces (...) disciplines apportent des éclairages fondamentaux, même si elles ont davantage traversé l'esthétique que renouvelé ses questionnements. Revisiter ces théories en partant de l'esthétique, confronter leurs principaux enjeux respectifs, comprendre leur incidence théorique et en faire la critique du point de vue de l'esthétique, tel est le programme de cet ouvrage. (shrink)

Regard oblique Les essais réunis dans ce volume ambitionnent de rapporter aux théories philosophiques (principalement la phénoménologie) et aux avancées des sciences cognitives des oeuvres d'artistes tels que Marcel Duchamp, Giulio Paolini, Pep Agut, Thierry Kuntzel, Michael Snow, Peter Campus, Claire Savoie, James Coleman, Angela Detanico et Rafael Lain, James Turrell, Antony McCall, Joâo Fiadeiro et Juliao Sarmento, dont le principal projet aura été d'explorer les problématiques de la perception qui n'est pas seulement une relation sensorielle ou sensitive à ce (...) qui nous entoure, mais avant tout une forme et une manière d'être au monde, une manière d'être pour autrui et avec autrui. L'analyse de ces oeuvres indique bien que le dualisme n'est pas viable le sensible et l'intelligible ne peuvent ici être scindés et que les formes très singulières des oeuvres d'art ont pour propriété de présenter la perception en tant que telle, avec pour visée de nous reconduire continuellement au monde et, partant, à des questions pratico-morales et socio-politiques. (shrink)

When discussing Logical Pluralism several critics argue that such an open-minded position is untenable. The key to this conclusion is that, given a number of widely accepted assumptions, the pluralist view collapses into Logical Monism. In this paper we show that the arguments usually employed to arrive at this conclusion do not work. The main reason for this is the existence of certain substructural logics which have the same set of valid inferences as Classical Logic—although they are, in a clear (...) sense, non-identical to it. We argue that this phenomenon can be generalized, given the existence of logics which coincide with Classical Logic regarding a number of metainferential levels—although they are, again, clearly different systems. We claim this highlights the need to arrive at a more refined version of the Collapse Argument, which we discuss at the end of the paper. (shrink)

Many authors have considered that the notions of paraconsistency and dialetheism are intrinsically connected, in many cases, to the extent of confusing both phenomena. However, paraconsistency is a formal feature of some logics that consists in invalidating the rule of explosion, whereas dialetheism is a semantical/ontological position consisting in accepting true contradictions. In this paper, we argue against this connection and show that it is perfectly possible to adopt a paraconsistent logic and reject dialetheism, and, moreover, that there are examples (...) of non-paraconsistent logics that can be interpreted in a dialetheic way. (shrink)

In this paper, we present a non-trivial and expressively complete paraconsistent naïve theory of truth, as a step in the route towards semantic closure. We achieve this goal by expressing self-reference with a weak procedure, that uses equivalences between expressions of the language, as opposed to a strong procedure, that uses identities. Finally, we make some remarks regarding the sense in which the theory of truth discussed has a property closely related to functional completeness, and we present a sound and (...) complete three-sided sequent calculus for this expressively rich theory. (shrink)

Rejecting the Cut rule has been proposed as a strategy to avoid both the usual semantic paradoxes and the so-called v-Curry paradox. In this paper we consider if a Cut-free theory is capable of accurately representing its own notion of validity. We claim that the standard rules governing the validity predicate are too weak for this purpose and we show that although it is possible to strengthen these rules, the most obvious way of doing so brings with it a serious (...) problem: an internalized version of Cut can be proved for a Curry-like sentence. We also evaluate a number of possible ways of escaping this difficulty. (shrink)

Es incuestionable el hecho de la evolución, así como la admisión de una realidad previa de la cual partir, sea creada o no. Pero luce cuestionable el mecanismo de la evolución en clave de “selección natural” cuando se la entiende como netamente naturalista. El evolucionismo darwinista no tiene fundamento suficiente para afirmar que las especies evolucionan de modo totalmente aleatorio y sin finalidad definida. Los más recientes descubrimientos socavan los cimientos del darwinismo (J. Enrique Cáceres-Arrieta), y nos hablan de un (...) Diseñador creando el universo de la nada en un tiempo finito y aceptando la evidencia del Big-Bang (William Lane Craig). Otros tipos de evolucionismo, aunque rechazan la teleología, admiten sin embargo, la teleonomía, que no es incompatible con la tesis agustiniana del “creacionismo evolutivo”. En estos tipos de evolucionismo sí cabe una tendencialidad antrópica como la defendida por Agustín, a través de sus razones seminales-causales y de los distintos modos de creación derivados de aquel “simul et in ictu” creacional. Las distintas creaciones virtuales, también simultáneas y derivadas de la creación propia “ex nihilo”, no implican que sean efectivas “simul” también las especies o prototipos. Una cosa es el hecho de la creación simultánea y otro el de su real y existencial efecto en el tiempo. En esta idea encontramos la fundamentación para defender un creacionismo evolutivo a lo agustiniano, que podría sintonizar con otros evolucionismos al estilo de X. Zubiri, K. Rahner, Pedro Laín Entralgo,… Palabras clave: creacionismo; creacionismo evolutivo; creación virtual; evolucionismo; razón seminal; fixismo (o fijismo); principio o sentido antrópico. Saint Augustine versus Darwin: Evolutionary Creacionism of ‘Seminal Reasons’Evolution is an unquestionable fact, and so is the admission of a previous reality from which to start up, whether created or not. But the mechanism of evolution in terms of “natural selection” does look questionable, when the latter is understood as entirely naturalistic. Darwinist evolutionism has no sufficient grounds to assert that species evolve in a totally random way, without a defined end. The most recent discoveries undermine the foundations of Darwinism (J. Enrique Cáceres-Arrieta), and tell us about a Designer creating the universe out of nothing in a finite time, accepting the big bang theory (William Lane Craig). Other types of evolutionism, while rejecting teleology, do admit teleonomy, which is not incompatible with the Augustinian thesis of “evolutionary creationism”. In these kinds of evolutionism it is indeed possible to speak of anthropic tendencies, as was defended by Augustine by means of his seminal-causal reasons and the different modes of creation derived from that creational “simul et in ictu”. The different virtual creations, simultaneous as well and derived from the “ex nihilo” creation, do not entail that the species or prototypes should also be effective “simul”. One thing is the fact of simultaneous creation; a different one is its real and existential effect over time. In this idea we find the grounds on which to defend an Augustinian-like evolutionary creationism, which might be compatible with other types of evolutionism like those of X. Zubiri, K. Rahner, Pedro Laín Entralgo,… Keywords : Creationism;Evolutionary Creationism; Virtual Creation; Evolutionism; Seminal Reason; Fixism; Anthropic Sense or Principle. (shrink)

In this paper we propose and defend the Synonymy account, a novel account of metaphysical equivalence which draws on the idea (Rayo in The Construction of Logical Space, Oxford University Press, Oxford, 2013) that part of what it is to formulate a theory is to lay down a theoretical hypothesis concerning logical space. Roughly, two theories are synonymous—and so, in our view, equivalent—just in case (i) they take the same propositions to stand in the same entailment relations, and (ii) they (...) are committed to the truth of the same propositions. Furthermore, we put our proposal to work by showing that it affords a better and more nuanced understanding of the debate between Quineans and noneists. Finally we show how the Synonymy account fares better than some of its competitors, specifically, McSweeney’s (Philosophical Perspectives 30(1):270–293, 2016) epistemic account and Miller’s (Philosophical Quarterly 67(269):772–793, 2017) hyperintensional account. (shrink)

Anti-exceptionalism about logic states that logical theories have no special epistemological status. Such theories are continuous with scientific theories. Contemporary anti-exceptionalists include the semantic paradoxes as a part of the elements to accept a logical theory. Exploring the Buenos Aires Plan, the recent development of the metainferential hierarchy of ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document}-logics shows that there are multiple options to deal with such paradoxes. There is a whole ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} (...) \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document}-based hierarchy, of which LP\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {LP}}$$\end{document} and ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document} themselves are only the first steps. This means that the logics in this hierarchy are also options to analyze the inferential patterns allowed in a language that contains its own truth predicate. This paper explores these responses analyzing some reasons to go beyond the first steps. We show that LP\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {LP}}$$\end{document}, ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document} and the logics of the ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document}-hierarchy offer different diagnoses for the same evidence: the inferences and metainferences the agents endorse in the presence of the truth-predicate. But even if the data are not enough to adopt one of these logics, there are other elements to evaluate the revision of classical logic. Which is the best explanation for the logical principles to deal with semantic paradoxes? How close should we be to classical logic? And mainly, how could a logic obey the validities it contains? From an anti-exceptionalist perspective, we argue that ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document}-metainferential logics in general—and STTω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {STT}}_{\omega }$$\end{document} in particular—are the best available options to explain the inferential principles involved with the notion of truth. (shrink)

It is widely accepted that classical logic is trivialized in the presence of a transparent truth-predicate. In this paper, we will explain why this point of view must be given up. The hierarchy of metainferential logics defined in Barrio et al. and Pailos recovers classical logic, either in the sense that every classical inferential validity is valid at some point in the hierarchy ), or because a logic of a transfinite level defined in terms of the hierarchy shares its validities (...) with classical logic. Each of these logics is consistent with transparent truth—as is shown in Pailos —, and this suggests that, contrary to standard opinions, transparent truth is after all consistent with classical logic. However, Scambler presents a major challenge to this approach. He argues that this hierarchy cannot be identified with classical logic in any way, because it recovers no classical antivalidities. We embrace Scambler’s challenge and develop a new logic based on these hierarchies. This logic recovers both every classical validity and every classical antivalidity. Moreover, we will follow the same strategy and show that contingencies need also be taken into account, and that none of the logics so far presented is enough to capture classical contingencies. Then, we will develop a multi-standard approach to elaborate a new logic that captures not only every classical validity, but also every classical antivalidity and contingency. As a€truth-predicate can be added to this logic, this result can be interpreted as showing that, despite the claims that are extremely widely accepted, classical logic does not trivialize in the context of transparent truth. (shrink)

ABSTRACT This paper is an analysis of the manner Nishida Kitarô, in the process of construction of his own philosophy of religion, enters into dialogue with Leibniz's thought concerning Pre-established Harmony. Although the philosophy of religion is an important theme and Nishida goes back to Leibniz at some points in his textual career, there are relatively few studies that touch on the relationship between these two thinkers. I study Nishida's approach under three headings. The first section concerns ten main aspects (...) of the world of pre-established harmony. The second tries to show the manner in which such a world becomes a guide towards a philosophy of religion, placing the emphasis on three characteristically Christian aspects: a created, fallen, and Trinitarian world. The third section includes some elements such as the entrance into religion, metanoia, satori and a comparison between Christian agape and Buddhist maha-kruna. These are themes on which Nishida elaborates in his 1945 masterpiece, The Logic of Basho and a Religious Worldview. RESUMO Este trabalho é uma análise da forma pela qual Nishida Kitarô, no processo de construção de sua própria filosofia da religião, entra em diálogo com o pensamento de Leibniz relativo à Harmonia Pré-Estabelecida. Embora a filosofia da religião seja um tema importante, e Nishida retome Leibniz em alguns pontos em sua carreira textual, existem relativamente poucos estudos que abordem a relação entre esses dois pensadores. Estudo a abordagem de Nishida sob três categorias. A primeira seção refere-se a dez principais aspectos do mundo de harmonia preestabelecida. A segunda busca demonstrar o modo pelo qual esse mundo se torna um guia para uma filosofia da religião, colocando a ênfase em três aspectos caracteristicamente cristãos: um mundo criado, caído e trinitário. A terceira seção inclui alguns elementos, tais como a entrada na religião, a metanoia, o satori e uma comparação entre o Ágape cristão e o Maha-Kruna budista. Estes são temas sobre os quais Nishida elabora em sua obra-prima de 1945, A Lógica de Basho e uma Visão Religiosa do Mundo. (shrink)